Tutorial C++ Modern: Efisiensi dan Ekspresivitas C++ Modern

C++ Modern (C++11/14/17) memperkenalkan Abstraksi Tanpa Biaya yang menghubungkan jurang antara kontrol perangkat keras tingkat rendah dan kemudahan bacaan tingkat tinggi. Efisiensi dicapai melalui manajemen memori yang deterministik, sementara ekspresivitas ditingkatkan melalui logika pada saat kompilasi.

1. Tata Letak Memori: std::array vs. std::vector

std::array adalah pembungkus modern untuk array gaya C, dialokasikan di stack dengan ukuran tetap yang diketahui saat kompilasi. Sebaliknya, std::vector berada di heap dan tumbuh secara dinamis. Meskipun std::vector menggunakan faktor pertumbuhan geometris (sering kali $1.5\times$ atau $2\times$), C++ modern menyediakan shrink_to_fit() untuk mengembalikan kapasitas yang tidak digunakan, memberikan kendali lebih ketat dibandingkan bahasa terkelola seperti Golang.

2. SFINAE & Keamanan Tipe

Melalui std::enable_if dan std::is_enum, pengembang dapat menerapkan Kegagalan Substitusi Bukan Kesalahan (SFINAE). Ini memungkinkan kompiler memilih overload fungsi tertentu berdasarkan ciri tipe saat kompilasi, seperti membuat operator aliran universal untuk enum menggunakan std::underlying_type.

// Sorotan Manajemen Memori C++11
v.push_back(std::move(obj)); // Semantik pindah
arr.at(0); // Pemeriksaan batas

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Which container is allocated on the stack and has a fixed size defined at compile-time?

std::vector

std::array

std::list

std::deque

QUESTION 2

What is the primary purpose of the shrink_to_fit() member function?

To delete all elements in the container.

To request a reduction in capacity to match the current size.

To sort the elements and remove duplicates.

To move the container to the stack.

QUESTION 3

In the SFINAE example, what does std::underlying_type provide?

The memory address of the enum.

The integral type used to represent the enum.

A string representation of the enum name.

The number of elements in the enum.

QUESTION 4

How does C++ std::vector growth typically differ from Golang slice growth in high-load scenarios?

C++ vectors never grow; they must be pre-allocated.

Golang uses a fixed growth of 10 elements, while C++ is random.

C++ provides explicit control (shrink_to_fit) to manage memory-tight environments.

Golang slices are stored on the stack by default.

QUESTION 5

Which C++11 feature allows a vector to take ownership of a temporary object without copying?

std::enable_if

push_back(T&&) with Rvalue-overload

std::array static size

The 'mutable' keyword